-
1 symbolic computing
= symbolic computationк символьным вычислениям относятся как решение на компьютере математических задач в символьном (аналитическом), а не в числовом виде (компьютерная алгебра), так и работа программ из области ИИ с нечисловыми даннымисм. тж. LispАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > symbolic computing
-
2 symbolic computing
символьные вычисления; символьная обработка -
3 symbolic computing
Большой англо-русский и русско-английский словарь > symbolic computing
-
4 symbolic computing
1) Компьютерная техника: обработка символьной информации, символьная обработка данных2) Вычислительная техника: символьные вычисления -
5 symbolic computing
English-Russian dictionary of computer science and programming > symbolic computing
-
6 symbolic computing
symbolische computerverwerkingen -
7 symbolic computing
-
8 symbolic computing
English-Russian dictionary of computer science > symbolic computing
-
9 symbolic computation
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > symbolic computation
-
10 computing
вычисление; вычисления; расчёт; счёт; вычислительная обработка данных || вычислительный; счётный- background computing
- batch computing
- commodity computing
- data-flow computing
- dependable computing
- distributed computing
- educational computing
- embedded computing
- end-user computing
- fault-tolerant computing
- foreground computing
- hobby computing
- instructional computing
- mainframe computing
- multiaccess computing
- numerical computing
- office computing
- off-line computing
- on-line computing
- organizational computing
- personal computing
- real-time visual computing
- remote computing
- resilient computing - three-dimensional computingEnglish-Russian dictionary of computer science and programming > computing
-
11 computing
background computing вчт. фоновое вычисление background computing вчт. фоновые вычисления batch computing вчт. пакетная обработка данных business computing вчт. программирование в экономике computing вчт. вычисление computing вчт. вычислительный computing вчт. расчет deferred computing вчт. отложенное вычисление dependable computing вчт. гарантоспособные вычисления distributed computing вчт. распределенное вычисление fault-tolerant computing вчт. отказоустойчивое вычисление foreground computing вчт. приоритетные вычисления implicit computing вчт. неявное вычисление interactive computing вчт. интерактивное вычисление logical computing вчт. логическое вычисление off-line computing вчт. автономное вычисление on-line computing вчт. вычисление в режиме он-лайн parallel computing вчт. параллельное вычисление remote computing вчт. дистанционное вычисление resilient computing вчт. эластичные вычисления symbolic computing вчт. обработка символьной информации -
12 computing
1. прил. вычислительный Syn: calculating
2. сущ. вычислительная техника вычисление, расчет вычислительная техника вычислительный;
- * centre вычислительный центр;
- * machine компьютер background ~ вчт. фоновое вычисление background ~ вчт. фоновые вычисления batch ~ вчт. пакетная обработка данных business ~ вчт. программирование в экономике computing вчт. вычисление ~ вчт. вычислительный ~ вчт. расчет deferred ~ вчт. отложенное вычисление dependable ~ вчт. гарантоспособные вычисления distributed ~ вчт. распределенное вычисление fault-tolerant ~ вчт. отказоустойчивое вычисление foreground ~ вчт. приоритетные вычисления implicit ~ вчт. неявное вычисление interactive ~ вчт. интерактивное вычисление logical ~ вчт. логическое вычисление off-line ~ вчт. автономное вычисление on-line ~ вчт. вычисление в режиме он-лайн parallel ~ вчт. параллельное вычисление remote ~ вчт. дистанционное вычисление resilient ~ вчт. эластичные вычисления symbolic ~ вчт. обработка символьной информацииБольшой англо-русский и русско-английский словарь > computing
-
13 background computing
1. решение задач с низким приоритетом; фоновые вычисления2. фоновые вычисления -
14 distributed computing
1. распределенные вычисления; распределенная обработка данных2. распределенные вычисления; распределенная обработка -
15 символьные вычисления
Большой англо-русский и русско-английский словарь > символьные вычисления
-
16 CAS
1) Communicating Applications Specification - протокол CAS, спецификация взаимодействия прикладных программпротокол корпорации Intel, обеспечивающий прямой доступ к факсимильным платам ПЭВМ с помощью встроенных меню2) Channel Associated Signalling - сигнализация по выделенному каналу3) Column Address Strobe - строб адреса столбца, сигнал CASуправляющий электрический сигнал, посылаемый процессором или контроллером динамического ОЗУ микросхемам памяти в процессе её регенерации, чтения или записи. Для выбора конкретной ячейки памяти должны быть заданы сигналы стробов колонки (столбца) и строки4) Call Accounting System - система учёта вызововв КТ5) Centralized Attendant Service - централизованная телефонная служба6) Computer-Aided Styling - компьютеризированная разработка стиля; цифровая технология дизайнапозволяет создавать большое число альтернативных вариантов при художественном конструировании (styling), включая изменение формы, геометрические преобразования и т. п. - хотя окончательное решение по-прежнему зависит от квалификации и таланта дизайнерасм. тж. designer7) Computer Algebra System - система компьютерной алгебрыпакет программ или приложение для решения уравнений и других математических задач в символьном видесм. тж. symbolic computingАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > CAS
-
17 numerical method
математическая задача может быть решена либо аналитически, либо численно (numerical solution). Оба метода решения поддерживаются соответствующим ПОАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > numerical method
-
18 system
1) система || системный3) вчт операционная система; программа-супервизор5) вчт большая программа6) метод; способ; алгоритм•system halted — "система остановлена" ( экранное сообщение об остановке компьютера при наличии серьёзной ошибки)
- CPsystem- H-system- h-system- hydrogen-air/lead battery hybrid system- Ksystem- Lsystem- L*a*b* system- master/slave computer system- p-system- y-system- Δ-system -
19 system
1) система || системный2) система; установка; устройство; комплекс3) программа•- adaptive control system
- address selection system
- addressing system
- advice-giving system
- AI planning system
- AI system
- analog computing system
- analog-digital computing system
- analysis information system
- application system
- arabic number system
- arithmetic system
- assembly system
- asymmetrical system
- atomic system
- attached processor system
- audio system
- authoring system
- automated office system
- automatic block system
- automatic checkout system
- automatic control system
- automatic search system
- automatic test system
- automatically programmed system
- automatically taught system
- autoprogrammable system
- axiomatic system
- backup system
- bad system
- bang-bang system
- base-2 system
- basic system
- batch-processing system
- binary system
- binary-coded decimal system
- binary-number system
- biquinary system
- bit-mapped system
- bit-slice system
- black-board expert system
- block parity system
- buddy system
- business system
- bus-oriented system
- bussed system
- CAD system
- call-reply system
- carrier system
- cause-controlled system
- character recognition system
- character-reading system
- chargeback system
- check sum error-detecting system
- chip-layout system
- clock system
- closed loop system
- closed system
- co-authoring system
- code recognition system
- code system
- coded-decimal system
- code-dependent system
- code-insensitive system
- code-sensitive system
- code-transparent system
- coding system
- coincident selection system
- cold system
- color-coded system
- command system
- common-bus system
- communication data system
- communications-oriented system
- complete articulated system
- computer system
- computer-aided design system
- computer-aided system
- computer-based system
- computer-based weapon system
- computerized system
- computing system
- concatenated coding system
- concealment system
- conservative system
- contention system
- continuous presence system
- control system
- controlled system
- controlling system
- coordinate system
- cordonnier system
- costrained vision system
- cross system
- crossbar switch system
- data acquisition system
- data collection system
- data exchange system
- data flow system
- data gethering system
- data handling system
- data management system
- data preparation system
- data processing system
- data reduction system
- data retrieval system
- data storage system
- data system
- data transmission system
- database management system
- database support system
- data-managed system
- decimal number system
- decimal system
- decimal numeration system
- decision support system
- decision-aided system
- decision-making system
- decision-support system
- decision-taking system
- decoding selection system
- decomposable system
- dedicated system
- degenerate system
- design library support system
- design-automation system
- design-verification system
- development support system
- development system
- digital communication system
- digital computing system
- direct-current system
- directly coupled system
- discrete system
- discrete-continuous system
- disk operating system
- display system
- distributed database management system
- distributed function system
- distributed intelligence system
- distributed parameter system
- distributed system
- distribution system
- double intermediate tape system
- down system
- drafting system
- dual system
- dual-computer system
- dual-processor system
- duodecimal number system
- duodecimal system
- duotricenary number system
- duotricenary system
- duplexed computer system
- duplex computer system
- dyadic number system
- dyadic system
- dynamic mapping system
- dynamic scene system
- dynamic support system
- electronic data processing system
- electronic sorting system
- encoding system
- equipment adapted data system
- erasing system
- error-controlled system
- error-correcting system
- error-detecting system
- executive file-control system
- executive system
- expert control system
- expert support system
- expert system
- expert-planning system
- externally pulsed system
- fail-safe system
- fail-soft system
- fan-out system
- fault-tolerant system
- feasible system
- federated system
- feed system
- feedback system
- feedforward control system
- fiche retrieval system
- file control system
- file system
- fixed-lenght record system
- fixed-point system
- fixed-radix numeration system
- floating-point system
- fluid transport system
- follow-up system
- forgiving system
- front-end system
- fuzzy expert system
- generic expert system
- geographically distributed system
- goal-seeking system
- good system
- graceful degradation system
- graphic data system
- graphics display system
- graphics system
- help system
- heterogeneous system
- hexadecimal number system
- hexadecimal system - host system
- hostless system
- host-satellite system
- human visual system
- hunting system
- hypermedia system
- imaging system
- incremental system
- independent system
- indirectly coupled system
- information storage and retrieval system
- information retrieval system
- information handling system
- information management system
- information processing system
- information system
- information-feedback system
- in-plant system
- input/output control system
- instruction system
- instrumentation management system
- integrated system
- intelligence system
- interactive control system
- interactive system
- intercommunicating system
- interlock system
- internal number system
- internal system
- Internet-enabled system
- interrupt system
- isolated system
- kernel system
- key-to-disk/tape system
- knowledge base management system
- knowledge system
- knowledge-based system
- large-scale computing system
- laser communication system
- layered control system - lexicon-driven system
- library reference system
- local-network system
- long-haul system
- lumped-parameter system
- machine tool control system
- machine-limited system
- machine-oriented programming system
- macroinstruction system
- macro system
- magnetic memory system
- magnetic recording system
- magnetic tape plotting system
- mail message system
- mail system
- mailbox system
- management information system
- man-machine system
- mapping system
- map-reading system
- mass memory system
- mass storage system
- master/slave system
- matrix memory system
- memory driver system
- memory system
- message handling system
- message system
- microcomputer system
- microfilm printing system
- midsplit system
- MIMO system
- mixed-base numbering system
- mixed-base number system
- mixed-radix numeration system
- model-based expert system
- modular system
- monitoring system
- monitor system
- mosaic system - multicomputer system
- multidimensional system
- multifrequency system
- multilevel storage system
- multiloop system
- multimaster communication system
- multimicroprocessor system
- multiple computation system
- multiple-bus system
- multiple-coincident magnetic storage system
- multiple-output control system
- multiplex system
- multiport system
- multiprocessing system
- multiprocessor system
- multiprogramming computer system
- multiprogramming system
- multisite system
- multispeaker system
- multistable system
- multitasking operating system
- multiterminal system
- multiuser computer system
- multiuser system
- multiuser operating system
- multivariable system
- multivariate system
- negative-base number representation system
- negative-base number system
- network operating system
- node-replicated system
- noncomputerized system
- nonconsistently based number system
- nondegenerate system
- number representation system
- numbering system
- number system
- numeral system
- numeration system
- numerical system
- octal number system
- octal system
- office automation system
- off-line system
- on-demand system
- one-level storage system
- one-loop system
- one-over-one address system
- on-line system
- open-ended system
- open system
- open-loop system
- operating system
- operational system
- optical memory system
- overdetermined system
- overload-hold system
- page-on-demand system
- panelboard system
- paper-tape system
- parameter-driven expert system
- pattern recognition system
- peek-a-boo system
- peripheral system
- pipeline system
- polled system
- polymorphic system
- polyphase system
- portable system
- positional representation system
- Post-production system
- priority scheduling system
- priority system
- procedural expert system
- process control system
- processor-sharing system
- production control system
- production system
- program system
- programming system
- protection system
- pulse system
- pulse-or-no-pulse system
- pulse-signal system
- punch card computer system
- pure-binary numeration system
- purposeful system
- quadruplex system
- question-answering system
- queueing system
- queue system
- radix numbering system
- radix number system
- reactive system
- reading system
- real-time expert system
- real-time operating system
- real-time system
- reasoning system
- recognition system
- recording system
- recovery system
- reduntant number system
- reduntant system
- reflected binary number system
- reflected binary system
- refreshment system
- remote-access system
- replicating system
- representation system
- request-repeat system
- rerecording system
- residue number system
- residue system
- resource-sharing system
- restorable system
- retrieval system
- retrieval-only system - robotic system
- robot system
- rule-based expert system
- rule-based system
- scalable system
- selection system
- self-adapting system
- self-adjusting system
- self-aligning system
- self-balancing system
- self-check system
- self-contained system
- self-correcting system
- self-descriptive system
- self-learning system
- self-organizing system
- self-sustained oscillation system
- self-test system
- sensor-based system
- sequential scheduling system
- sexadecimal number system
- sexadecimal system
- shared-files system
- shell expert system
- silicon-development system
- simplex system
- single-drive system
- single-inheritance system
- single-phase clock system
- single-site system
- single-user computer system
- SISO system
- skeletal expert system
- slave system
- soft-sectored disk system
- software system
- sound system
- source code control system
- source-destination system
- space-division system
- stabilizing system
- stable system
- stand-alone system
- start-stop system
- state-determined system
- stepped start-stop system
- stereo system
- stochastically disturbed system
- storage system
- stripped-down expert system
- subsplit system
- supervisor control system
- switching system
- symbolic assembly system
- syntactical system
- system explanation system
- system of logic
- system of notation
- system with delay
- system with time lag
- tabulating system
- tape data processing system
- tape drive system
- tape handling system
- tape operating system
- tape plotting system
- tape resident system
- tape-oriented system
- target system
- taught system
- telecommunictions system
- telecontrol system
- terminal system
- ternary number system
- ternary system
- test system
- testbed system
- text-to-speech system
- time-division system
- time-pattern control system
- time-shared system
- time-shared-bus system
- time-sharing system
- timing system
- total system
- translating system
- translation system
- translator writing system
- transmitting system
- tree-structured system
- trusted computer system
- two-failure mode system
- two-level return system
- two-level system
- two-phase clock system
- ultrastable system
- Unified system
- uninterruptible power system
- uniprocessor system
- unrestorable system
- unstable system
- up system
- variable-lenght record system
- virtual system
- virtual-memory operating system
- vision system
- visual system
- voice/audio processing system
- voice-response system
- volunteer system
- weighted number system
- weighted system
- writing system
- xerox copy system
- zero-one systemEnglish-Russian dictionary of computer science and programming > system
-
20 Artificial Intelligence
In my opinion, none of [these programs] does even remote justice to the complexity of human mental processes. Unlike men, "artificially intelligent" programs tend to be single minded, undistractable, and unemotional. (Neisser, 1967, p. 9)Future progress in [artificial intelligence] will depend on the development of both practical and theoretical knowledge.... As regards theoretical knowledge, some have sought a unified theory of artificial intelligence. My view is that artificial intelligence is (or soon will be) an engineering discipline since its primary goal is to build things. (Nilsson, 1971, pp. vii-viii)Most workers in AI [artificial intelligence] research and in related fields confess to a pronounced feeling of disappointment in what has been achieved in the last 25 years. Workers entered the field around 1950, and even around 1960, with high hopes that are very far from being realized in 1972. In no part of the field have the discoveries made so far produced the major impact that was then promised.... In the meantime, claims and predictions regarding the potential results of AI research had been publicized which went even farther than the expectations of the majority of workers in the field, whose embarrassments have been added to by the lamentable failure of such inflated predictions....When able and respected scientists write in letters to the present author that AI, the major goal of computing science, represents "another step in the general process of evolution"; that possibilities in the 1980s include an all-purpose intelligence on a human-scale knowledge base; that awe-inspiring possibilities suggest themselves based on machine intelligence exceeding human intelligence by the year 2000 [one has the right to be skeptical]. (Lighthill, 1972, p. 17)4) Just as Astronomy Succeeded Astrology, the Discovery of Intellectual Processes in Machines Should Lead to a Science, EventuallyJust as astronomy succeeded astrology, following Kepler's discovery of planetary regularities, the discoveries of these many principles in empirical explorations on intellectual processes in machines should lead to a science, eventually. (Minsky & Papert, 1973, p. 11)5) Problems in Machine Intelligence Arise Because Things Obvious to Any Person Are Not Represented in the ProgramMany problems arise in experiments on machine intelligence because things obvious to any person are not represented in any program. One can pull with a string, but one cannot push with one.... Simple facts like these caused serious problems when Charniak attempted to extend Bobrow's "Student" program to more realistic applications, and they have not been faced up to until now. (Minsky & Papert, 1973, p. 77)What do we mean by [a symbolic] "description"? We do not mean to suggest that our descriptions must be made of strings of ordinary language words (although they might be). The simplest kind of description is a structure in which some features of a situation are represented by single ("primitive") symbols, and relations between those features are represented by other symbols-or by other features of the way the description is put together. (Minsky & Papert, 1973, p. 11)[AI is] the use of computer programs and programming techniques to cast light on the principles of intelligence in general and human thought in particular. (Boden, 1977, p. 5)The word you look for and hardly ever see in the early AI literature is the word knowledge. They didn't believe you have to know anything, you could always rework it all.... In fact 1967 is the turning point in my mind when there was enough feeling that the old ideas of general principles had to go.... I came up with an argument for what I called the primacy of expertise, and at the time I called the other guys the generalists. (Moses, quoted in McCorduck, 1979, pp. 228-229)9) Artificial Intelligence Is Psychology in a Particularly Pure and Abstract FormThe basic idea of cognitive science is that intelligent beings are semantic engines-in other words, automatic formal systems with interpretations under which they consistently make sense. We can now see why this includes psychology and artificial intelligence on a more or less equal footing: people and intelligent computers (if and when there are any) turn out to be merely different manifestations of the same underlying phenomenon. Moreover, with universal hardware, any semantic engine can in principle be formally imitated by a computer if only the right program can be found. And that will guarantee semantic imitation as well, since (given the appropriate formal behavior) the semantics is "taking care of itself" anyway. Thus we also see why, from this perspective, artificial intelligence can be regarded as psychology in a particularly pure and abstract form. The same fundamental structures are under investigation, but in AI, all the relevant parameters are under direct experimental control (in the programming), without any messy physiology or ethics to get in the way. (Haugeland, 1981b, p. 31)There are many different kinds of reasoning one might imagine:Formal reasoning involves the syntactic manipulation of data structures to deduce new ones following prespecified rules of inference. Mathematical logic is the archetypical formal representation. Procedural reasoning uses simulation to answer questions and solve problems. When we use a program to answer What is the sum of 3 and 4? it uses, or "runs," a procedural model of arithmetic. Reasoning by analogy seems to be a very natural mode of thought for humans but, so far, difficult to accomplish in AI programs. The idea is that when you ask the question Can robins fly? the system might reason that "robins are like sparrows, and I know that sparrows can fly, so robins probably can fly."Generalization and abstraction are also natural reasoning process for humans that are difficult to pin down well enough to implement in a program. If one knows that Robins have wings, that Sparrows have wings, and that Blue jays have wings, eventually one will believe that All birds have wings. This capability may be at the core of most human learning, but it has not yet become a useful technique in AI.... Meta- level reasoning is demonstrated by the way one answers the question What is Paul Newman's telephone number? You might reason that "if I knew Paul Newman's number, I would know that I knew it, because it is a notable fact." This involves using "knowledge about what you know," in particular, about the extent of your knowledge and about the importance of certain facts. Recent research in psychology and AI indicates that meta-level reasoning may play a central role in human cognitive processing. (Barr & Feigenbaum, 1981, pp. 146-147)Suffice it to say that programs already exist that can do things-or, at the very least, appear to be beginning to do things-which ill-informed critics have asserted a priori to be impossible. Examples include: perceiving in a holistic as opposed to an atomistic way; using language creatively; translating sensibly from one language to another by way of a language-neutral semantic representation; planning acts in a broad and sketchy fashion, the details being decided only in execution; distinguishing between different species of emotional reaction according to the psychological context of the subject. (Boden, 1981, p. 33)Can the synthesis of Man and Machine ever be stable, or will the purely organic component become such a hindrance that it has to be discarded? If this eventually happens-and I have... good reasons for thinking that it must-we have nothing to regret and certainly nothing to fear. (Clarke, 1984, p. 243)The thesis of GOFAI... is not that the processes underlying intelligence can be described symbolically... but that they are symbolic. (Haugeland, 1985, p. 113)14) Artificial Intelligence Provides a Useful Approach to Psychological and Psychiatric Theory FormationIt is all very well formulating psychological and psychiatric theories verbally but, when using natural language (even technical jargon), it is difficult to recognise when a theory is complete; oversights are all too easily made, gaps too readily left. This is a point which is generally recognised to be true and it is for precisely this reason that the behavioural sciences attempt to follow the natural sciences in using "classical" mathematics as a more rigorous descriptive language. However, it is an unfortunate fact that, with a few notable exceptions, there has been a marked lack of success in this application. It is my belief that a different approach-a different mathematics-is needed, and that AI provides just this approach. (Hand, quoted in Hand, 1985, pp. 6-7)We might distinguish among four kinds of AI.Research of this kind involves building and programming computers to perform tasks which, to paraphrase Marvin Minsky, would require intelligence if they were done by us. Researchers in nonpsychological AI make no claims whatsoever about the psychological realism of their programs or the devices they build, that is, about whether or not computers perform tasks as humans do.Research here is guided by the view that the computer is a useful tool in the study of mind. In particular, we can write computer programs or build devices that simulate alleged psychological processes in humans and then test our predictions about how the alleged processes work. We can weave these programs and devices together with other programs and devices that simulate different alleged mental processes and thereby test the degree to which the AI system as a whole simulates human mentality. According to weak psychological AI, working with computer models is a way of refining and testing hypotheses about processes that are allegedly realized in human minds.... According to this view, our minds are computers and therefore can be duplicated by other computers. Sherry Turkle writes that the "real ambition is of mythic proportions, making a general purpose intelligence, a mind." (Turkle, 1984, p. 240) The authors of a major text announce that "the ultimate goal of AI research is to build a person or, more humbly, an animal." (Charniak & McDermott, 1985, p. 7)Research in this field, like strong psychological AI, takes seriously the functionalist view that mentality can be realized in many different types of physical devices. Suprapsychological AI, however, accuses strong psychological AI of being chauvinisticof being only interested in human intelligence! Suprapsychological AI claims to be interested in all the conceivable ways intelligence can be realized. (Flanagan, 1991, pp. 241-242)16) Determination of Relevance of Rules in Particular ContextsEven if the [rules] were stored in a context-free form the computer still couldn't use them. To do that the computer requires rules enabling it to draw on just those [ rules] which are relevant in each particular context. Determination of relevance will have to be based on further facts and rules, but the question will again arise as to which facts and rules are relevant for making each particular determination. One could always invoke further facts and rules to answer this question, but of course these must be only the relevant ones. And so it goes. It seems that AI workers will never be able to get started here unless they can settle the problem of relevance beforehand by cataloguing types of context and listing just those facts which are relevant in each. (Dreyfus & Dreyfus, 1986, p. 80)Perhaps the single most important idea to artificial intelligence is that there is no fundamental difference between form and content, that meaning can be captured in a set of symbols such as a semantic net. (G. Johnson, 1986, p. 250)Artificial intelligence is based on the assumption that the mind can be described as some kind of formal system manipulating symbols that stand for things in the world. Thus it doesn't matter what the brain is made of, or what it uses for tokens in the great game of thinking. Using an equivalent set of tokens and rules, we can do thinking with a digital computer, just as we can play chess using cups, salt and pepper shakers, knives, forks, and spoons. Using the right software, one system (the mind) can be mapped into the other (the computer). (G. Johnson, 1986, p. 250)19) A Statement of the Primary and Secondary Purposes of Artificial IntelligenceThe primary goal of Artificial Intelligence is to make machines smarter.The secondary goals of Artificial Intelligence are to understand what intelligence is (the Nobel laureate purpose) and to make machines more useful (the entrepreneurial purpose). (Winston, 1987, p. 1)The theoretical ideas of older branches of engineering are captured in the language of mathematics. We contend that mathematical logic provides the basis for theory in AI. Although many computer scientists already count logic as fundamental to computer science in general, we put forward an even stronger form of the logic-is-important argument....AI deals mainly with the problem of representing and using declarative (as opposed to procedural) knowledge. Declarative knowledge is the kind that is expressed as sentences, and AI needs a language in which to state these sentences. Because the languages in which this knowledge usually is originally captured (natural languages such as English) are not suitable for computer representations, some other language with the appropriate properties must be used. It turns out, we think, that the appropriate properties include at least those that have been uppermost in the minds of logicians in their development of logical languages such as the predicate calculus. Thus, we think that any language for expressing knowledge in AI systems must be at least as expressive as the first-order predicate calculus. (Genesereth & Nilsson, 1987, p. viii)21) Perceptual Structures Can Be Represented as Lists of Elementary PropositionsIn artificial intelligence studies, perceptual structures are represented as assemblages of description lists, the elementary components of which are propositions asserting that certain relations hold among elements. (Chase & Simon, 1988, p. 490)Artificial intelligence (AI) is sometimes defined as the study of how to build and/or program computers to enable them to do the sorts of things that minds can do. Some of these things are commonly regarded as requiring intelligence: offering a medical diagnosis and/or prescription, giving legal or scientific advice, proving theorems in logic or mathematics. Others are not, because they can be done by all normal adults irrespective of educational background (and sometimes by non-human animals too), and typically involve no conscious control: seeing things in sunlight and shadows, finding a path through cluttered terrain, fitting pegs into holes, speaking one's own native tongue, and using one's common sense. Because it covers AI research dealing with both these classes of mental capacity, this definition is preferable to one describing AI as making computers do "things that would require intelligence if done by people." However, it presupposes that computers could do what minds can do, that they might really diagnose, advise, infer, and understand. One could avoid this problematic assumption (and also side-step questions about whether computers do things in the same way as we do) by defining AI instead as "the development of computers whose observable performance has features which in humans we would attribute to mental processes." This bland characterization would be acceptable to some AI workers, especially amongst those focusing on the production of technological tools for commercial purposes. But many others would favour a more controversial definition, seeing AI as the science of intelligence in general-or, more accurately, as the intellectual core of cognitive science. As such, its goal is to provide a systematic theory that can explain (and perhaps enable us to replicate) both the general categories of intentionality and the diverse psychological capacities grounded in them. (Boden, 1990b, pp. 1-2)Because the ability to store data somewhat corresponds to what we call memory in human beings, and because the ability to follow logical procedures somewhat corresponds to what we call reasoning in human beings, many members of the cult have concluded that what computers do somewhat corresponds to what we call thinking. It is no great difficulty to persuade the general public of that conclusion since computers process data very fast in small spaces well below the level of visibility; they do not look like other machines when they are at work. They seem to be running along as smoothly and silently as the brain does when it remembers and reasons and thinks. On the other hand, those who design and build computers know exactly how the machines are working down in the hidden depths of their semiconductors. Computers can be taken apart, scrutinized, and put back together. Their activities can be tracked, analyzed, measured, and thus clearly understood-which is far from possible with the brain. This gives rise to the tempting assumption on the part of the builders and designers that computers can tell us something about brains, indeed, that the computer can serve as a model of the mind, which then comes to be seen as some manner of information processing machine, and possibly not as good at the job as the machine. (Roszak, 1994, pp. xiv-xv)The inner workings of the human mind are far more intricate than the most complicated systems of modern technology. Researchers in the field of artificial intelligence have been attempting to develop programs that will enable computers to display intelligent behavior. Although this field has been an active one for more than thirty-five years and has had many notable successes, AI researchers still do not know how to create a program that matches human intelligence. No existing program can recall facts, solve problems, reason, learn, and process language with human facility. This lack of success has occurred not because computers are inferior to human brains but rather because we do not yet know in sufficient detail how intelligence is organized in the brain. (Anderson, 1995, p. 2)Historical dictionary of quotations in cognitive science > Artificial Intelligence
- 1
- 2
См. также в других словарях:
Symbolic Manipulation Program — Symbolic Manipulation Program, usually called SMP, was a computer algebra system designed by Chris A. Cole and Stephen Wolfram at Caltech circa 1979 and initially developed in the Caltech physics department under Wolfram s leadership with… … Wikipedia
Symbolic computation — Symbolic computation, algebraic computation, or, less commonly, symbolic manipulation, symbolic processing, symbolic mathematics, or symbolic algebra, relates to the use of machines, such as computers, to manipulate mathematical equations and… … Wikipedia
Symbolic logic — is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical … Wikipedia
Symbolic link — In computing, a symbolic link (also symlink or soft link ) is a special type of file that contains a reference to another file or directory in the form of an absolute or relative path and that affects pathname resolution. [… … Wikipedia
Symbolic simulation — In computer science, a simulation is a computation of the execution of some appropriately modelled state transition system. Typically this process models the complete state of the system at individual points in a discrete linear time frame,… … Wikipedia
Computing the permanent — In mathematics, the computation of the permanent of a matrix is a problem that is believed to be more complex than the computation of the determinant of a matrix despite the apparent similarity of the definitions. The permanent is defined… … Wikipedia
Symbolic method — In mathematics, the symbolic method in invariant theory is a highly formal algorithm developed in the 19th century for computing form invariants mdash; invariants of algebraic forms. It is based on repeated applications of the Omega process… … Wikipedia
Symbolic Stream Generator — The Symbolic Stream Generator (or SSG) is a software productivity aid by Unisys for their mainframe computers of the former UNIVAC 1100/2200 series. SSG is used to generate RUN Streams (corresponding to IBM s Job Control Language), apply and… … Wikipedia
History of computing hardware — Computing hardware is a platform for information processing (block diagram) The history of computing hardware is the record of the ongoing effort to make computer hardware faster, cheaper, and capable of storing more data. Computing hardware… … Wikipedia
Timeline of computing hardware 2400 BC–1949 — History of computing Hardware before 1960 Hardware 1960s to present Hardware in Soviet Bloc countries Artificial intelligence Computer science Operating systems Programming languages … Wikipedia
Optical computing — Today s computers use the movement of electrons in and out of transistors to do logic. Optical or Photonic computing is intended to use photons or light particles, produced by lasers or diodes, in place of electrons. Compared to electrons,… … Wikipedia